Conformally Invariant Operators, Differential Forms, Cohomology and a Generalisation of Q-curvature

On conformal manifolds of even dimension n ≥ 4 we construct a family of new conformally invariant differential complexes, each containing one coboundary operator of order greater than 1. Each bundle in each of these complexes appears either in the de Rham complex or in its dual (which is a different complex in the non-orientable case). Each of the new complexes is elliptic in case the conformal structure has Riemannian signature. We also construct gauge companion operators which (for differential forms of order k ≤ n/2) complete the exterior derivative to a conformally invariant and (in the case of Riemannian signature) elliptically coercive system. These (operator,gauge) pairs are used to define finite dimensional conformally stable form subspaces which are are candidates for spaces of conformal harmonics. This generalises the n/2-form and 0-form cases, in which the harmonics are given by conformally invariant systems. These constructions are based on a family of operators on closed forms which generalise in a natural way Branson’s Qcurvature. We give a universal construction of these new operators and show that they yield new conformally invariant global pairings between differential form bundles. Finally we give a geometric construction of a family of conformally invariant differential operators between densityvalued differential form bundles and develop their properties (including their ellipticity type in the case of definite conformal signature). The construction is based on the ambient metric of Fefferman and Graham, and its relationship to the tractor bundles for the Cartan normal conformal connection. For each form order, our derivation yields an operator of every even order in odd dimensions, and even order operators up to order n in even dimension n. In the case of unweighted (or true) forms as domain, these operators are the natural form analogues of the critical order conformal Laplacian of Graham et al., and are key ingredients in the new differential complexes mentioned above. TB gratefully acknowledges support from US NSF grant INT-9724781. ARG gratefully acknowledges support from the Royal Society of New Zealand via Marsden Grant no. 02-UOA-108, and to the New Zealand Institute of Mathematics and its Applications for support via a Maclaurin Fellowship.